Generalised Domain Model Acquisition from Action Traces
نویسندگان
چکیده
One approach to the problem of formulating domain models for planning is to learn the models from example action sequences. The LOCM system demonstrated the feasibility of learning domain models from example action sequences only, with no observation of states before, during or after the plans. LOCM uses an object-centred representation, in which each object is represented by a single parameterised state machine. This makes it powerful for learning domains which fit within that representation, but there are some well-known domains which do not. This paper introduces LOCM2, a novel algorithm in which the domain representation of LOCM is generalised to allow multiple parameterised state machines to represent a single object. This extends the coverage of domains for which an adequate domain model can be learned. The LOCM2 algorithm is described and evaluated by testing domain learning from example plans from published results of past International Planning Competitions.
منابع مشابه
Domain Model Acquisition in the Presence of Static Relations in the LOP System
This paper addresses the problem of domain model acquisition from only action traces when the underlying domain model contains static relations. Domain model acquisition is the problem of synthesising a planning domain model from example plan traces and potentially other information, such as intermediate states. The LOCM and LOCM2 domain model acquisition systems are highly effective at determi...
متن کاملAction-Model Acquisition from Noisy Plan Traces
There is increasing awareness in the planning community that the burden of specifying complete domain models is too high, which impedes the applicability of planning technology in many real-world domains. Although there have been many learning approaches that help automatically creating domain models, they all assume plan traces (training data) are correct. In this paper, we aim to remove this ...
متن کاملASCoL: Automated Acquisition of Domain Specific Static Constraints from Plan Traces
Domain-independent planning systems require that domain constraints and invariants are specified as part of the input domain model. In AI Planning, the generated plan is correct provided the constraints of the world in which the agent is operating are satisfied. Specifying operator descriptions by hand for planning domain models that also require domain specific constraints is time consuming, e...
متن کاملBest-Fit Action-Cost Domain Model Acquisition and Its Application to Authorship in Interactive Narrative
Domain model acquisition is the problem of learning the structure of a state-transition system from some input data, typically example transition sequences. Recent work has shown that it is possible to learn action costs of PDDL models, given the overall costs of individual plans. In this work we have explored the extension of these ideas to narrative planning where cost can represent a variety...
متن کاملOrder Structures for Subclasses of Generalised Traces
Traces are equivalence classes of action sequences which can be represented by partial orders capturing the causality in the behaviour of a concurrent system. Generalised traces, on the other hand, are equivalence classes of step sequences. They are represented by order structures that can describe non-simultaneity and weak causality, phenomena which cannot be expressed by partial orders alone....
متن کامل